#include <cstdint>

int32_t add(int32_t a, int32_t b);
